基于Multi-Agent敏捷卫星动态任务规划问题

在分析敏捷卫星的特点和卫星多用户需求的基础上,针对敏捷卫星任务规划问题,基于Multi-Agent理论构建了任务分配模型;针对敏捷卫星任务规划初始方案调度中卫星资源失效的情况给出了敏捷卫星动态任务重调度模型;在此基础上,提出了基于诚信机制的可解约合同网任务分配方法,设计了招投标机制、可解约合同网协议以及招投标、评标策略;以敏捷卫星任务规划调度问题为例通过实验获得了满意的结果,表明了模型的合理性以及算法的有效性。     

均衡聚类市场拍卖机制的异构无人机集群任务规划方法

针对大规模异构无人机集群的全局任务规划问题,提出一种基于均衡聚类市场拍卖机制的任务规划方法。对无人机群协同合作完成任务的场景进行分析,综合任务聚类和无人机联盟的优势,建立了通用性较高的任务规划模型。考虑到对无人机群负载均衡的需求,融合和改进了K-means聚类算法和市场拍卖机制,形成一种综合考虑路程消耗和任务消耗的均衡聚类市场拍卖算法。在拍卖过程中引入平衡参数,通过计算旅行商问题来修正平衡参数,保证无人机群在负载均衡的同时整体成本不断降低。仿真结果表明,使用均衡聚类市场拍卖机制的任务规划方法能够在较短时间内完成异构无人机群的复杂任务规划,保证无人机群负载均衡的同时,整体成本和总时间上也有较好表现,具有一定的实际应用价值。     

基于马氏过程的电子对抗装备伺服驱动器可用度分析

针对电子对抗装备天线伺服系统驱动器可用度评估问题,考虑其具有优先使用权冷贮备冗余设计的特点,运用马尔可夫过程分析的方法,研究修理工人数不同情况下伺服驱动器稳态可用度和瞬时可用度,建立相应的数学模型,最后进行实例验证,绘出不同维修策略下系统瞬时可用度随时间变化的曲线.     

基于可组合服务的陆军作战仿真模型集成

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,本文基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制的应用特点和战技术性能。     

潜射无人机及其对潜艇作战带来的变化

从水下航母的历史出发,简述了现代战争对潜射无人机的需求,分析了潜艇(尤其是核潜艇)装备潜射无人机的优势和给作战带来的变化,说明了它对发展水下航母的重要性。之后,以美国潜射无人机研发为例,总结了其研究进展,探讨了它目前面临或需要解决的问题,表明了其发展方向。     

山水自在 筑鉴非凡——重庆商务职业学院新校区规划设计

介绍了重庆商务职业学院新校区的校园规划策略。基于生态保护进行校园规划,通过建筑布局与地形环境的协调共生形成山水校园,结合历史人文营造个性化校园空间。同时,从生态保护、规划分区、建筑布局、景观空间等方面探讨文化内涵与个性校园的规划设计策略,得出自然山水形成了丰富的地域景观,并由此创造出具有个性的地区文化的结论。旨在为山地校园建设起到借鉴作用。     

基于营区精、气、神文化表达的自然仿生设计

精、气、神文化是营区规划设计的核心.自然仿生设计为营区精、气、神文化的表达提供了独特而有效的方式.通过对营区精、气、神文化的解读,发掘出自然仿生的3个层面,即“形”之仿生,“意”之仿生和“结构”之仿生.在营区规划设计中,当自然仿生的这3个层面得到有效表达,实现有机统一,营区就会产生独特的文化气质与魅力,从而体现其精、气、神特色,展现部队的“军营魂”.     

翼伞精确空投系统归航轨迹规划与控制

翼伞归航轨迹规划与控制问题是翼伞系统在一定初始状态下,利用自身可操作性,完成从初始位置到目标位置的转移问题。针对翼伞空投系统不同归航要求,规划出满足精度要求为圆径概率误差（ CEP ）小于40m的归航轨迹并经过一定量的控制完成翼伞空投系统精确空投任务。首先建立翼伞系统状态空间六自由度模型,并在此基础上提出系统简化稳态模型,通过最优控制方法,规划出满足空投要求的最优归航轨迹后对翼伞进行不断控制直至目标点。最后通过Matlab仿真试验,绘出翼伞系统归航轨迹图与控制变化图。     

弹药物资储备布局规划仿真模型＊

介绍了当前弹药物资储备布局规划的现状,对其涉及的要素进行分析,构建了弹药物资储备布局规划网络模型。在此基础上提出了分析模型,将弹药物资布局规划求解问题描述为有约束条件的多目标优化数学模型,解决了各仓库弹药存储量难以预测的问题,并通过实验进行了验证分析。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。